495 research outputs found

    Hankel Tensors: Associated Hankel Matrices and Vandermonde Decomposition

    Full text link
    Hankel tensors arise from applications such as signal processing. In this paper, we make an initial study on Hankel tensors. For each Hankel tensor, we associate it with a Hankel matrix and a higher order two-dimensional symmetric tensor, which we call the associated plane tensor. If the associated Hankel matrix is positive semi-definite, we call such a Hankel tensor a strong Hankel tensor. We show that an mm order nn-dimensional tensor is a Hankel tensor if and only if it has a Vandermonde decomposition. We call a Hankel tensor a complete Hankel tensor if it has a Vandermonde decomposition with positive coefficients. We prove that if a Hankel tensor is copositive or an even order Hankel tensor is positive semi-definite, then the associated plane tensor is copositive or positive semi-definite, respectively. We show that even order strong and complete Hankel tensors are positive semi-definite, the Hadamard product of two strong Hankel tensors is a strong Hankel tensor, and the Hadamard product of two complete Hankel tensors is a complete Hankel tensor. We show that all the H-eigenvalue of a complete Hankel tensors (maybe of odd order) are nonnegative. We give some upper bounds and lower bounds for the smallest and the largest Z-eigenvalues of a Hankel tensor, respectively. Further questions on Hankel tensors are raised

    The necessary and sufficient conditions of copositive tensors

    Full text link
    In this paper, it is proved that (strict) copositivity of a symmetric tensor A\mathcal{A} is equivalent to the fact that every principal sub-tensor of A\mathcal{A} has no a (non-positive) negative H++H^{++}-eigenvalue. The necessary and sufficient conditions are also given in terms of the Z++Z^{++}-eigenvalue of the principal sub-tensor of the given tensor. This presents a method of testing (strict) copositivity of a symmetric tensor by means of the lower dimensional tensors. Also the equivalent definition of strictly copositive tensors is given on entire space Rn\mathbb{R}^n.Comment: 13 pages. arXiv admin note: text overlap with arXiv:1302.608

    Convergence of a Second Order Markov Chain

    Full text link
    In this paper, we consider convergence properties of a second order Markov chain. Similar to a column stochastic matrix is associated to a Markov chain, a so called {\em transition probability tensor} PP of order 3 and dimension nn is associated to a second order Markov chain with nn states. For this PP, define FPF_P as FP(x):=Px2F_P(x):=Px^{2} on the nβˆ’1n-1 dimensional standard simplex Ξ”n\Delta_n. If 1 is not an eigenvalue of βˆ‡FP\nabla F_P on Ξ”n\Delta_n and PP is irreducible, then there exists a unique fixed point of FPF_P on Ξ”n\Delta_n. In particular, if every entry of PP is greater than 12n\frac{1}{2n}, then 1 is not an eigenvalue of βˆ‡FP\nabla F_P on Ξ”n\Delta_n. Under the latter condition, we further show that the second order power method for finding the unique fixed point of FPF_P on Ξ”n\Delta_n is globally linearly convergent and the corresponding second order Markov process is globally RR-linearly convergent.Comment: 16 pages, 3 figure

    Infinite and finite dimensional Hilbert tensors

    Full text link
    For an mm-order nβˆ’n-dimensional Hilbert tensor (hypermatrix) Hn=(Hi1i2β‹―im)\mathcal{H}_n=(\mathcal{H}_{i_1i_2\cdots i_m}), Hi1i2β‹―im=1i1+i2+β‹―+imβˆ’m+1,Β i1,⋯ ,im=1,2,⋯ ,n\mathcal{H}_{i_1i_2\cdots i_m}=\frac1{i_1+i_2+\cdots+i_m-m+1},\ i_1,\cdots, i_m=1,2,\cdots,n its spectral radius is not larger than nmβˆ’1sin⁑πnn^{m-1}\sin\frac{\pi}{n}, and an upper bound of its EE-spectral radius is nm2sin⁑πnn^{\frac{m}2}\sin\frac{\pi}{n}. Moreover, its spectral radius is strictly increasing and its EE-spectral radius is nondecreasing with respect to the dimension nn. When the order is even, both infinite and finite dimensional Hilbert tensors are positive definite. We also show that the mm-order infinite dimensional Hilbert tensor (hypermatrix) H∞=(Hi1i2β‹―im)\mathcal{H}_\infty=(\mathcal{H}_{i_1i_2\cdots i_m}) defines a bounded and positively (mβˆ’1)(m-1)-homogeneous operator from l1l^1 into lpl^p (1<p<∞1<p<\infty), and the norm of corresponding positively homogeneous operator is smaller than or equal to Ο€6\frac{\pi}{\sqrt6}
    • …
    corecore